A Deontic Logic for Group-Oriented Web Information Systems
نویسندگان
چکیده
Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, there are different roles for the users, each associated with some rights and obligations. The group orientation implies that some of these obligations and rights depend on actions done by other roles. In this article a deontic logic for formulating and reasoning about such obligations and rights is presented.
منابع مشابه
Modelling Actors and Stories in Web Information Systems
The design of web information systems (WISs) requires a clear picture of the intended users and their behaviour. WIS users are called actors and classified according to their roles, intentions and behaviour. This leads to various propositional and deontic constraints on the story space, i.e. the abstract specification of WIS locations and activities associated with them. The knowledge obtained ...
متن کاملRepresenting privacy regulations with deontico-temporal operators
The aim of this study is to provide artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulations, the Deontic Logic for Privacy (DLP) is proposed. DLP is a deontic and temporal logic based on predicates dealing with personal data management. Illustrated by an example, it becomes obvious that speci...
متن کاملA Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملThe Role of Deontic Logic in the Specification of Information Systems
In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called ‘soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance...
متن کامل